-
1 lógica modal
(n.) = modal logicEx. This estimation can be suitably described in terms of modal logic.* * *(n.) = modal logicEx: This estimation can be suitably described in terms of modal logic.
-
2 lógica
f.logic, method, logicality.* * *1 logic\lógica matemática mathematical logic* * *1. noun f. 2. f., (m. - lógico)* * *SF logiclógicológica borrosa, lógica difusa — fuzzy logic
* * *a) ( coherencia) logicb) (Fil) logic* * *= logic, ratio decidendi, reasonability.Ex. For example, class R Philosophy is first divided into such canonical divisions as Logic, Epistemology, Metaphysics, Ethics and Aesthetics.Ex. An online search of the WESTLAW and LEXIS databases, and examination of numerous cases with potential precedential value found the many dicta in judicial opinions to differ among jurisdictions, and found no ratio decidendi at all.Ex. A major objective of this project was also to demonstrate both the possibility and the reasonability of using handheld technology = Además, uno de los principales objetivos de este proyecto fue demostrar la posibilidad y la conveniencia de utilizar tecnología portátil para simplificar y normalizar el proceso de recogida de datos.----* base de datos de lógica difusa = fuzzy database.* conjunto aleatorio de lógica difusa = random fuzzy set.* conjunto de lógica difusa = fuzzy set.* conjuntos de lógica difusa = fuzzy clustering.* especialista en la lógica = logician.* lógica booleana = Boolean logic.* lógica borrosa = fuzzy logic.* lógica contextual = contextual logic.* lógica de búsqueda = search logic.* lógica de búsqueda por ponderación = weighted-term search logic.* lógica de términos ponderados = weighted term logic.* lógica difusa = fuzzy logic.* lógica imprecisa = fuzzy logic.* lógica matemática = mathematical logic.* lógica modal = modal logic.* lógica simbólica = symbolic logic.* modelo de lógica difusa = fuzzy model.* operador de lógica booleana = Boolean logic operator.* procesador de lógica difusa = fuzzy query processor.* recuperación de información de lógica difusa = fuzzy data retrieval.* señal lógica = logical signal.* sin lógica ni explicación = without rhyme or reason.* sistema de lógica difusa = fuzzy system.* suma lógica = logical sum.* técnica de recuperación por medio de la lógica difusa = fuzzy IR technique.* variable aleatoria de lógica difusa = fuzzy random variable.* * *a) ( coherencia) logicb) (Fil) logic* * *= logic, ratio decidendi, reasonability.Ex: For example, class R Philosophy is first divided into such canonical divisions as Logic, Epistemology, Metaphysics, Ethics and Aesthetics.
Ex: An online search of the WESTLAW and LEXIS databases, and examination of numerous cases with potential precedential value found the many dicta in judicial opinions to differ among jurisdictions, and found no ratio decidendi at all.Ex: A major objective of this project was also to demonstrate both the possibility and the reasonability of using handheld technology = Además, uno de los principales objetivos de este proyecto fue demostrar la posibilidad y la conveniencia de utilizar tecnología portátil para simplificar y normalizar el proceso de recogida de datos.* base de datos de lógica difusa = fuzzy database.* conjunto aleatorio de lógica difusa = random fuzzy set.* conjunto de lógica difusa = fuzzy set.* conjuntos de lógica difusa = fuzzy clustering.* especialista en la lógica = logician.* lógica booleana = Boolean logic.* lógica borrosa = fuzzy logic.* lógica contextual = contextual logic.* lógica de búsqueda = search logic.* lógica de búsqueda por ponderación = weighted-term search logic.* lógica de términos ponderados = weighted term logic.* lógica difusa = fuzzy logic.* lógica imprecisa = fuzzy logic.* lógica matemática = mathematical logic.* lógica modal = modal logic.* lógica simbólica = symbolic logic.* modelo de lógica difusa = fuzzy model.* operador de lógica booleana = Boolean logic operator.* procesador de lógica difusa = fuzzy query processor.* recuperación de información de lógica difusa = fuzzy data retrieval.* señal lógica = logical signal.* sin lógica ni explicación = without rhyme or reason.* sistema de lógica difusa = fuzzy system.* suma lógica = logical sum.* técnica de recuperación por medio de la lógica difusa = fuzzy IR technique.* variable aleatoria de lógica difusa = fuzzy random variable.* * *1 (coherencia) logiclo que hizo carece de toda lógica there was no logic to what she did, what she did was completely illogical2 ( Fil) logicCompuestos:mathematical logicformal o symbolic logic* * *
lógica sustantivo femenino
logic
lógico,-a adjetivo logical: es lógico que te enfades, it's natural for you to get angry
lógica sustantivo femenino logic: está fuera de toda lógica, it's completely illogical
' lógica' also found in these entries:
Spanish:
sentida
- sentido
- aplastante
- encontrar
English:
add up
- logic
- rationale
- hold
* * *lógica nf1. [ciencia] logicInformát lógica booleana Boolean logic; Informát lógica borrosa fuzzy logic; Informát lógica difusa fuzzy logic;lógica matemática mathematical logic2. [coherencia] logic;por lógica obviously;tener lógica to make sense;eso no tiene lógica that doesn't make any sense* * *f logic* * *lógica nf: logic* * *lógica n logic
См. также в других словарях:
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
modal logic — mo dal log ic, n. A system of logic which studies how to combine propositions which include the concepts of necessity, possibility, and obligation. [PJC] … The Collaborative International Dictionary of English
modal logic — Formal systems incorporating modalities such as necessity, possibility, impossibility, contingency, strict implication, and certain other closely related concepts. The most straightforward way of constructing a modal logic is to add to some… … Universalium
modal logic — A logic studying the notions of necessity and possibility. Modal logic was of great importance historically, particularly in the light of various doctrines concerning the necessary properties of the deity, but was not a central topic of modern… … Philosophy dictionary
modal logic — noun 1. the logical study of necessity and possibility • Hypernyms: ↑logic 2. a system of logic whose formal properties resemble certain moral and epistemological concepts • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal logic • … Useful english dictionary
modal logic — noun Any formal system that attempts to deal with modalities, such as possibility and necessity, but also obligation and permission. See Also: deontic logic, doxastic logic, epistemic logic … Wiktionary
Epistemic modal logic — is a subfield of modal logic that is concerned with reasoning about knowledge. While epistemology has a long philosophical tradition dating back to Ancient Greece, epistemic logic is a much more recent development with applications in many fields … Wikipedia
Dynamic logic (modal logic) — For the subject in digital electronics also known as clocked logic, see dynamic logic (digital electronics). Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs and later applied to more general… … Wikipedia
Classical modal logic — In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) the duality of the modal operators which is also closed under the rule Alternatively one can give a dual definition of L by which L is classical iff it… … Wikipedia
S5 (modal logic) — In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book Symbolic Logic . It is a normal modal logic, and one of the oldest systems of modal logic of any… … Wikipedia
Regular modal logic — In modal logic, a regular modal logic L is a modal logic closed underDiamond A equiv lnotBoxlnot Aand the rule(Aland B) o C vdash (Box AlandBox B) oBox C.Every regular modal logic is classical, and every normal modal logic is regular and hence… … Wikipedia